/***************************************************************************************
* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
*
* XiangShan is licensed under Mulan PSL v2.
* You can use this software according to the terms and conditions of the Mulan PSL v2.
* You may obtain a copy of Mulan PSL v2 at:
*          http://license.coscl.org.cn/MulanPSL2
*
* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
*
* See the Mulan PSL v2 for more details.
***************************************************************************************/

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>

FILE *fp = NULL;

void sd_setaddr(uint32_t addr) {
  fseek(fp, addr, SEEK_SET);
  //printf("set addr to 0x%08x\n", addr);
  //assert(0);
}

uint32_t sd_read(int ren) {
  if (ren) {
    uint32_t data;
    fread(&data, 4, 1, fp);
    //printf("read data = 0x%08x\n", *data);
    return data;
  }
  return 0xdeadbeaf;
}

void init_sd(void) {
  fp = fopen("/home/xyn/debian/debian.img", "r");
  if(!fp) {
    printf("[warning] sdcard img not found\n");
  }
}
